<?php
function h($i){
	if(is_array($i) and isset($i[0]['value'])) $i = $i[0]['value'];
	echo htmlentities($i, false, 'UTF-8');
}
function UriIze($id, $base){
	if(substr($id,0,2)=='_:'){
		$id = substr($id,2);
		return $base.'#'.$id;
	} else {
		return $id;
	}
}
?>